Manuel Atienza's Documents

Manuel Atienza's Documents

Formal Approaches to Software Testing and Runtime Verification

Formal Approaches to Software Testing and Runtime Verification
Read more
All about Maude.. a high-performance logical framework

All about Maude.. a high-performance logical framework
Read more
Orthogonal Polynomials and their Applications

Orthogonal Polynomials and their Applications
Read more
The Sun, Solar Analogs and the Climate: Saas-Fee Advanced Course 34, 2004. Swiss Society for Astrophysics and Astronomy

The Sun, Solar Analogs and the Climate: Saas-Fee Advanced Course 34, 2004. Swiss Society for Astrophysics and Astronomy
Read more
Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part II

Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part II
Read more
Analysis and Design of Quadrature Oscillators (Analog Circuits and Signal Processing)

Analysis and Design of Quadrature Oscillators (Analog Circuits and Signal Processing)
Read more
Biodental Engineering

Biodental Engineering
Read more
Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part I

Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part I
Read more
Marine Ecosystems and Global Change

Marine Ecosystems and Global Change
Read more
Foundations of Reasoning under Uncertainty (Studies in Fuzziness and Soft Computing)

Foundations of Reasoning under Uncertainty (Studies in Fuzziness and Soft Computing)
Read more
Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part III

Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part III
Read more
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (Lecture Notes in Computer Science)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (Lecture Notes in Computer Science)
Read more
Guía Geológica del Parque Regional de la Sierra de la Pila

Guía Geológica del Parque Regional de la Sierra de la Pila
Read more
Models of Visuospatial Cognition (Counterpoints: Cognition, Memory, and Language)

Models of Visuospatial Cognition (Counterpoints: Cognition, Memory, and Language)
Read more
The Age of Alternative Logics

The Age of Alternative Logics
Read more
Otorhinolaryngology, Head and Neck Surgery (European Manual of Medicine)

Otorhinolaryngology, Head and Neck Surgery (European Manual of Medicine)
Read more
Progress in Functional Analysis: Proceedings of the International Functional Analysis Meeting on the Occasion of the 60th Birthday of Professor M. V: ... 1990

Progress in Functional Analysis: Proceedings of the International Functional Analysis Meeting on the Occasion of the 60th Birthday of Professor M. V: ... 1990
Read more
Manual of Aesthetic Surgery

Manual of Aesthetic Surgery
Read more
Neuroendocrine Cells and Peptidergic Innervation in Human and Rat Prostrate

Neuroendocrine Cells and Peptidergic Innervation in Human and Rat Prostrate
Read more
Anatolistica, indoeuropeistica e oltre nelle memorie dei seminarî offerti da Onofrio Carruba (anni 1997-2002) al Medesimo presentate. Tomo I

Anatolistica, indoeuropeistica e oltre nelle memorie dei seminarî offerti da Onofrio Carruba (anni 1997-2002) al Medesimo presentate. Tomo I
Read more
Progress in Functional Analysis: Proceedings of the International Functional Analysis Meeting on the Occasion of the 60th Birthday of Professor M. V

Progress in Functional Analysis: Proceedings of the International Functional Analysis Meeting on the Occasion of the 60th Birthday of Professor M. V
Read more
Otorhinolaryngology, Head and Neck Surgery

Otorhinolaryngology, Head and Neck Surgery
Read more
High-Energy Spectroscopic Astrophysics: Saas Fee Advanced Course 30, 2000. Swiss Society for Astrophysics and Astronomy (Saas-Fee Advanced Courses)

High-Energy Spectroscopic Astrophysics: Saas Fee Advanced Course 30, 2000. Swiss Society for Astrophysics and Astronomy (Saas-Fee Advanced Courses)
Read more
Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga

Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga
Read more
Nonlinear Science and Complexity

Nonlinear Science and Complexity
Read more
Liquid Interfacial Systems (Surfactant Science)

Liquid Interfacial Systems (Surfactant Science)
Read more
Cooperative Systems Design: Scenario-Based Design of Collaborative Systems

Cooperative Systems Design: Scenario-Based Design of Collaborative Systems
Read more
Manipulation Under Anesthesia

Manipulation Under Anesthesia
Read more
Progress in Brain Research Volume 154 Visual Perception Part 1 Fundamentals of Vision: Low and Mid-Level Processes in Perception

Progress in Brain Research Volume 154 Visual Perception Part 1 Fundamentals of Vision: Low and Mid-Level Processes in Perception
Read more
Progress in functional analysis

Progress in functional analysis
Read more